RésuméLes auteurs présentent le problème de l'omniscience logique qui entrave la formalisation de la connaissance et de la croyance dans la thhrie des mondes possibles. Ils étudient ensuite les solutions qui s'inspirent de la distinction entre croyance implicite et explicite proposée par Levesque, et celles qui se fondent sur la logique de la conscience de Fagin et Halpern. Pour remédier aux insuffisances de ces solutions, ils proposent de concevoir la croyance explicite à partir d'une fonction d'analyse logique qui filtre les (...) propositions selon leur profondeur, ce qui permet de justifier logiquement et structurellement la limitation du pouvoir déductif des agents. (shrink)

Prof. Ruth Barcan Marcus created quantified modal logic in 1946. She extended the Lewis calculus S2 to cover quantification. Quantified modal logic became an essential tool for the rigorous study of natural language in the hands of R. Montague in the late sixties. Some complex phenomena cannot be properly handled at the level of sentences. Recent researches in formal semantics have concentrated on discourse and led to a rich amount of results. Logical theories introduced for the logical study of programs (...) play an important role in these developments. We shall present a detailed account of the connection between dynamic logic and “static” logic. The core of the paper will be the translation of dynamic logic into S5. Developping an insight due to Prof. J. van Eijck, We shall offer a simplified version of the latter translation. The paper also relates to P. Gärdenfors' Knowledge in Flux. (shrink)

Eric Crégheur, Jeffery Aubin, Alice Fanguet, Gavin McDowell, Louis Painchaud, Paul-Hubert Poirier, Simon St-Arnault-Chiasson, Philippe Therrien, Benoît Tissot et Yann Vadnais.

Jeffery Aubin,Dianne Cole,Julio Cesar Dias Chaves,Jonathan von Kodar,Anne-France Morand,Timothy Pettipiece,Paul-Hubert Poirier,Martin Voyer,Eric Crégheur.

Jeffery Aubin,Julio Cesar Dias Chaves,Steve Johnston,Louis Painchaud,Anne Pasquier,Paul-Hubert Poirier,Jennifer Wees,Eric Crégheur.

Nicolas Asselin,Stéphanie Audet,Eric Crégheur,Julio Cesar Dias Chaves,Gavin McDowell,Charles-Frédéric Murray,Louis Painchaud,Paul-Hubert Poirier,Maryse Robert,Philippe Therrien.

Jeffery Aubin ,Marie Chantal ,Dianne Cole ,Julio Chaves ,Cathelyne Duchesne ,Christel Freu ,Steve Johnston ,Brice Jones ,Amaury Levillayer ,Stéphanie Machabée ,Paul-Hubert Poirier ,Philippe Therrien ,Jonathan von Kodar ,Martin Voyer ,Jennifer Wees ,Eric Crégheur.